<div>
  You can specify the location of certain tools on this node, overriding the
  global configuration. (You may prefer to use automatic tool installers
  instead, removing the need to configure each node separately.)
</div>
